[1] Alefeld G, Herzberger J. Introduction to interval computations[M]. New York: Academic Press, 1983. [2] Hansen E. Topics in interval analysis[M]. Oxford: Clarendon Press, 1969. [3] Harrison W H. Compiler analysis of the value ranges for variables[J]. IEEE Transaction on Software Engineering, 1977, SE-3(3): 243-250. [4] 王志言, 刘椿年. 区间算术在软件测试中的应用[J]. 软件学报, 1998, 9(6): 438-443. Wang Zhiyan, Liu Chunnian. The application of interval computation in software testing[J]. Journal of Software, 1998, 9(6): 438-443. [5] 李福川, 宋晓秋. 软件测试中的新方法——区间代数方法[J]. 计算机工程与设计, 2005, 26(10): 2576-2578. Li Fuchuan, Song Xiaoqiu. New method of software test—interval algebra method. Computer Engineering and Design, 2005, 26(10): 2576-2578. [6] Ghodrat M A, Givargis T, Nicolau A. Expression equivalence checking using interval analysis[J]. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2006, 14(8): 830-842. [7] 高传平, 谈利群, 宫云战, 等. 基于整型区间集的数组越界静态自动测试方法研究[J].小型微型计算机系统, 2006, 27(12): 2222-2227. Gao Chuanping, Tan Liqun, Gong Yunzhan, et al. Research on static and auto-testing method for array bounds based on integer range aggregation[J]. Journal of Chinese Computer Systems, 2006, 27(12): 2222-2227. [8] 杨朝红,宫云战,肖庆,等. 基于软件缺陷模型的测试系统[J]. 北京邮电大学学报,2008,31(5): 1-4. Yang Zhaohong, Gong Yunzhan, Xiao Qing, et al. A defect model based testing system[J]. Journal of Beijing University of Posts and Telecommunications, 2008, 31(5): 1-4. [9] Hovemeyer D, Pugh H. Finding more null pointer bugs, but not too many//Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. New York: ACM Press, 2007: 9-14. |